function enter(pi) {
	pi.playPortalSound(); pi.warp(103000101, 3);
	return true;
}